theorem 11 formal proof

visit shbcf.ru